return ret;
d->arch.relmem = RELMEM_dom_l4;
/* fallthrough */
- case RELMEM_dom_l4:
+ case RELMEM_dom_l4:
ret = relinquish_memory(d, &d->page_list, PGT_l4_page_table);
if ( ret )
return ret;
/* fallthrough */
#endif
- case RELMEM_xen_l3:
+ case RELMEM_xen_l3:
#if CONFIG_PAGING_LEVELS >= 3
ret = relinquish_memory(d, &d->xenpage_list, PGT_l3_page_table);
if ( ret )
return ret;
d->arch.relmem = RELMEM_dom_l3;
/* fallthrough */
- case RELMEM_dom_l3:
+ case RELMEM_dom_l3:
ret = relinquish_memory(d, &d->page_list, PGT_l3_page_table);
if ( ret )
return ret;
/* fallthrough */
#endif
- case RELMEM_xen_l2:
+ case RELMEM_xen_l2:
ret = relinquish_memory(d, &d->xenpage_list, PGT_l2_page_table);
if ( ret )
return ret;
d->arch.relmem = RELMEM_dom_l2;
/* fallthrough */
- case RELMEM_dom_l2:
+ case RELMEM_dom_l2:
ret = relinquish_memory(d, &d->page_list, PGT_l2_page_table);
if ( ret )
return ret;
d->arch.relmem = RELMEM_done;
/* fallthrough */
- case RELMEM_done:
+ case RELMEM_done:
break;
default: